大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Human-Computer Interaction. New Trends [electronic resource] : 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Objects, Components, Models and Patterns [electronic resource] : 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings

0
索取号：
作者：Oriol、 Manuel.、Meyer、 Bertrand.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human Interface and the Management of Information. Information and Interaction [electronic resource] : Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II

0
索取号：
作者：Salvendy、 Gavriel.、Smith、 Michael J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human Interface and the Management of Information. Designing Information Environments [electronic resource] : Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I

0
索取号：
作者：Smith、 Michael J.、Salvendy、 Gavriel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Information Processing in Medical Imaging [electronic resource] : 21st International Conference, IPMI 2009, Williamsburg, VA, USA, July 5-10, 2009. Proceedings

0
索取号：
作者：Prince、 Jerry L.、Pham、 Dzung L.、Myers、 Kyle J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living [electronic resource] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II

0
索取号：
作者：Omatu、 Sigeru.、Rocha、 Miguel P.、Bravo、 Jos茅.、Fern谩ndez、 Florentino.、Corchado、 Emilio.、Bustillo、 Andr茅s.、Corchado、 Juan M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Conceptual Modeling: Foundations and Applications [electronic resource] : Essays in Honor of John Mylopoulos

0
索取号：
作者：Borgida、 Alexander T.、Chaudhri、 Vinay K.、Giorgini、 Paolo.、Yu、 Eric S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computational Science and Its Applications-ICCSA 2009 [electronic resource] : International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II

0
索取号：
作者：Gervasi、 Osvaldo.、Taniar、 David.、Murgante、 Beniamino.、Lagan脿、 Antonio.、Mun、 Youngsong.、Gavrilova、 Marina L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computational Science and Its Applications-ICCSA 2009 [electronic resource] : International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I

0
索取号：
作者：Gervasi、 Osvaldo.、Taniar、 David.、Murgante、 Beniamino.、Lagan脿、 Antonio.、Mun、 Youngsong.、Gavrilova、 Marina L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Rewriting Techniques and Applications [electronic resource] : 20th International Conference, RTA 2009 Bras铆lia, Brazil, June 29 - July 1, 2009 Proceedings

0
索取号：
作者：Treinen、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Applied Computing, Computer Science, and Advanced Communication [electronic resource] : First International Conference on Future Computer and Communication, FCC 2009, Wuhan, China, June 6-7, 2009. Proceedings

0
索取号：
作者：Qi、 Luo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Typed Lambda Calculi and Applications [electronic resource] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

0
索取号：
作者：Curien、 Pierre-Louis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

User Modeling, Adaptation, and Personalization [electronic resource] : 17th International Conference, UMAP 2009, formerly UM and AH, Trento, Italy, June 22-26, 2009. Proceedings

0
索取号：
作者：Houben、 Geert-Jan.、McCalla、 Gord.、Pianesi、 Fabio.、Zancanaro、 Massimo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Distributed Computing in Sensor Systems [electronic resource] : 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings

0
索取号：
作者：Krishnamachari、 Bhaskar.、Suri、 Subhash.、Heinzelman、 Wendi.、Mitra、 Urbashi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Object-Oriented Technology. ECOOP 2008 Workshop Reader [electronic resource] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

0
索取号：
作者：Eugster、 Patrick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers

0
索取号：
作者：Berkling、 Kay.、Joseph、 Mathai.、Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.